(push)
(assert (wand false true))
(check-sat)
(pop)
(declare-fun v49 () Bool)
(assert (pto 0 true))
(check-sat)
